大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Theory of Heat Transfer with Forced Convection Film Flows [electronic resource]

0
索取号：
作者：Shang、 Deyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Manufacturing and Sustainable Logistics [electronic resource] : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

0
索取号：
作者：Dangelmaier、 Wilhelm.、Blecken、 Alexander.、Delius、 Robin.、Kl枚pfer、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Copula Theory and Its Applications [electronic resource] : Proceedings of the Workshop Held in Warsaw, 25-26 September 2009

0
索取号：
作者：Jaworski、 Piotr.、Durante、 Fabrizio.、H盲rdle、 Wolfgang Karl.、Rychlik、 Tomasz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Auditory Display [electronic resource] : 6th International Symposium, CMMR/ICAD 2009, Copenhagen, Denmark, May 18-22, 2009. Revised Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices [electronic resource] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings

0
索取号：
作者：Samarati、 Pierangela.、Tunstall、 Michael.、Posegga、 Joachim.、Markantonakis、 Konstantinos.、Sauveron、 Damien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

e-Research Collaboration [electronic resource] : Theory, Techniques and Challenges

0
索取号：
作者：Anandarajan、 Murugan.、Anandarajan、 Murugan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

0
索取号：
作者：Blume、 Matthias.、Kobayashi、 Naoki.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Generalized Bessel Functions of the First Kind [electronic resource]

0
索取号：
作者：Baricz、 脕rp谩d.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings

0
索取号：
作者：L贸pez-Ortiz、 Alejandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource]

0
索取号：
作者：Dodos、 Pandelis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings

0
索取号：
作者：Sirisuk、 Phaophak.、Morgan、 Fearghal.、El-Ghazawi、 Tarek.、Amano、 Hideharu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trends in Nanophysics [electronic resource] : Theory, Experiment and Technology

0
索取号：
作者：B芒rsan、 Victor.、Aldea、 Alexandru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Ong、 Luke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Rosenblum、 David S.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gupta、 Rajiv.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.